منابع مشابه
Contracts, Games and Reenement
We consider the notion of a contract that governs the behavior of a collection of agents. In particular, we study the question of whether a group among these agents can achieve a given goal by following the contract. We show that this can be reduced to studying the existence of winning strategies in a two-person game. We deene a weakest precondition semantics for contract statements that permit...
متن کاملLiberty, Games and Contracts
Edited by British Library Cataloguing in Publication Data Liberty, games and contracts: Narveson and the defence of libertarianism 1.Narveson, Jan, 19362. Libertarianism 3. Contractarianism (Ethics) 1.Murray, Malcolm 320.5'12 MALCOLM MURRAY University of Prince Edward Island, Canada Library of Congress Cataloging-in-Publication Data Liberty, games, and contracts: Jan Narveson and the defence of...
متن کاملRetractability, games and orchestrators for session contracts
Session contracts is a formalism enabling to investigate client/server interaction protocols and to interpret session types. We extend session contracts in order to represent outputs whose actual sending in an interaction depends on a third party or on a mutual agreement between the partners. Such contracts are hence adaptable, or as we say “ affectible”. In client/server systems, in general, c...
متن کاملGames of status and discriminatory contracts
Following recent empirical evidence which indicates the importance of rank for the determination of workers’ wellbeing, this paper introduces status seeking preferences in the form of rank-dependent utility functions into a moral hazard framework with one firm and multiple workers, but no correlation in production. We show that workers’ concern for the rank of their wage in the firm’s wage dist...
متن کاملRefinement Derivatives and Values of Games
A definition of set-wise differentiability for set functions is given through refining the partitions of sets. Such a construction is closely related to the one proposed by Rosenmuller (1977) as well as that studied by Epstein (1999) and Epstein and Marinacci (2001). We present several classes of TU games which are differentiable and study differentiation rules. The last part of the paper appli...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2000
ISSN: 0890-5401
DOI: 10.1006/inco.1999.2820